Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings: 12071 (Lecture Notes in Computer Science, 12071)
by Alexander Raschke,Dominique Méry,Frank Houdek
ISBN 13: 9783030480769
Format: Paperback (440 pages) Publisher: Springer Published: 15 May 2020
Save for later